homomorphism equivalence

同态等价